doctype html
html
    title TODO supply a title
    body
      #user
        p You're logged in as
          
        div